Çevrel çember, geometride, bir çokgenin tüm köşelerinden geçen çember. Bu çemberin merkezi çevrel özek (çevrel çemberin merkezi) olarak isimlendirilir.1
Çevrel çemberi olan çokgenler, devirsel çokgen olarak isimlendirilir. Bütün düzgün basit çokgenler, üçgenler ve dörtgenler bu özelliği gösterir.
Her üçgen devirseldir; bir başka ifadeyle tüm üçgenlerin bir çevrel çemberi bulunur.2
Bir üçgenin çevrel çemberinin merkezi herhangi iki kenar ortadikmesinin kesişim noktası alınarak bulunabilir. (Ortadikme üçgenin bir kenarıyla doksan derecelik açı yapan ve aynı zamanda bu kenarı orta noktasında kesen doğrudur.) Çünkü çevrel çemberin merkezi, üçgendeki herhangi iki köşe çiftine eşit uzaklıktadır ve ortadikme üzerindeki tüm noktalar da üçgenin iki köşesine aynı mesafede bulunma şartını sağlar.
Çevrel çember merkezinin konumu üçgenin türüne göre değişir. Çevrel çemberin merkezi:
Resim:Triangle (Acute) Circumscribed.svg|Dar açılı bir üçgenin çevrel çemberinin merkezi, üçgenin içinde yer alır Resim:Triangle (Right) Circumscribed.svg|Dik açılı bir üçgenin çevrel çemberinin merkezi, üçgen hipotenüsünün orta noktasıdır Resim:Triangle (Obtuse) Circumscribed.svg|Geniş açılı bir üçgenin çevrel çemberinin merkezi, üçgenin dışında yer alır
Çevrel çemberin çapı, üçgenin herhangi bir kenar uzunluğunun, kenarı gören açının sinüsüne bölünmesiyle hesaplanabilir. (Sinüs teoreminin bir sonucu olarak, hangi kenar seçilirse seçilsin sonuç aynı olacaktır.) Üçgenin dokuz nokta çemberinin çapı, çevrel çemberin çapının yarısına eşittir. ΔABC üçgenin çevrel çemberinin çapı:
<math>\begin{align} \text{R} & {} = \frac{abc}{2\cdot\text{alan}} = \frac{|AB| |BC| |CA|}{2|\Delta ABC|} \ & {} = \frac{abc}{2\sqrt{s(s-a)(s-b)(s-c)}}\ & {} = \frac{2abc}{\sqrt{(a+b+c)(-a+b+c)(a-b+c)(a+b-c)}} \end{align} </math>
burada R çap uzunluğunu, a, b, c üçgenin kenar uzunluklarını ve s = (a + b + c)/2 yarı çevre uzunluğunu simgeler. Yukarıda ikinci paydadaki köklü ifade, Heron formülüne göre, üçgenin alan ifadesidir. Çemberin çapı için yazılabilecek trigonometrik ifadelerden biri3
$$\text{R} = \sqrt{\frac{2 \cdot \text{Alan}}{\sin A \sin B \sin C}}.$$
Verilen herhangi bir üçgende, çevrel çemberin merkezi daima sentroid (kenarotayların kesişim noktası) ve yüksekliklerin kesişim noktası doğrusaldır. Bu noktaların tümünden geçen doğru Euler doğrusu olarak bilinir.
Çevrel çember merkezinin izogonal eşleniği yüksekliklerin kesişim noktasıdır.
Üç doğrusal noktanın çevrel çemberi olan, bu noktalardan geçen doğru sonsuz yarıçaplı çember olarak anılır. Neredeyse doğrusal olan noktaların çevrel çember hesaplamalarında genellikle sayısal kararsızlık görülür.
Üçgen çevrel çemberlerinin, bir noktalar kümesinin Delaunay üçgenlemesi ile yakın ilişkisi vardır.
Öklid düzleminde, bir çevrel çember denklemi ait olduğu üçgeninin köşelerinin Kartezyen koordinatlarından elde edilebilir. Buna göre
$$\mathbf{A} = (A_x,A_y)$$
$$\mathbf{B} = (B_x,B_y)$$
$$\mathbf{C} = (C_x,C_y)$$
A, B ve C noktalarının koordinatları olarak alınsın. Burada çevrel çember, Kartezyen düzlemde geometrik yeri aşağıdaki denklemleri sağlayan v = (v<sub>x</sub>,v<sub>y</sub>) noktalarıdır.
$$|\mathbf{v}-\mathbf{u}|^2 = r^2$$
$$|\mathbf{A}-\mathbf{u}|^2 = r^2$$
$$|\mathbf{B}-\mathbf{u}|^2 = r^2$$
$$|\mathbf{C}-\mathbf{u}|^2 = r^2$$
Denklemlerle A, B, C ve v{{'}}nin, çemberin merkezi u{{'}} dan eşit r<sup>2</sup> uzaklıkta olması sağlanır. Kutuplanma özdeşliği kullanılarak denklemler
$$\begin{vmatrix} |\mathbf{v}|^2 & -2v_x & -2v_y & -1 \ |\mathbf{A}|^2 & -2A_x & -2A_y & -1 \ |\mathbf{B}|^2 & -2B_x & -2B_y & -1 \ |\mathbf{C}|^2 & -2C_x & -2C_y & -1 \end{vmatrix}$$
matrisine indirgenebilir. Böylece çevrel çember, matris determinantının sıfırlarının geometrik yeriyle ifade edilir:
$$\det\begin{vmatrix} |\mathbf{v}|^2 & v_x & v_y & 1 \ |\mathbf{A}|^2 & A_x & A_y & 1 \ |\mathbf{B}|^2 & B_x & B_y & 1 \ |\mathbf{C}|^2 & C_x & C_y & 1 \end{vmatrix}=0.$$
Kofaktör açılımı ile,
$$\quad S_x=\frac{1}{2}\det\begin{vmatrix} |\mathbf{A}|^2 & A_y & 1 \ |\mathbf{B}|^2 & B_y & 1 \ |\mathbf{C}|^2 & C_y & 1 \end{vmatrix},\quad S_y=\frac{1}{2}\det\begin{vmatrix} A_x & |\mathbf{A}|^2 & 1 \ B_x & |\mathbf{B}|^2 & 1 \ C_x & |\mathbf{C}|^2 & 1 \end{vmatrix},$$
$$a=\det\begin{vmatrix} A_x & A_y & 1 \ B_x & B_y & 1 \ C_x & C_y & 1 \end{vmatrix},\quad b=\det\begin{vmatrix} A_x & A_y & |\mathbf{A}|^2 \ B_x & B_y & |\mathbf{B}|^2 \ C_x & C_y & |\mathbf{C}|^2 \end{vmatrix}$$ a|v|<sup>2</sup> − 2Sv − b = 0 elde edilir ve üç noktanın doğrusal olmadığı varsayımıyla (aksi durumda çevrel çember S'nin sonsuzda olduğu bir doğru halini alır), |v − S/a|<sup>2</sup> = b/a + |S|<sup>2</sup>/a<sup>2</sup>, S/a çevrel çember merkezi ve √ (b/a + |S|<sup>2</sup>/a<sup>2</sup>) yarıçapı hesaplanır. Benzer yaklaşımla bir dörtyüzlünün çevrel küre denklemi de bulunabilir.
Çevrel çemberin trilineer koordinatlarla ifade edilmiş bir denklemi x : y : z is a/x + b/y + c/z = 0 ve barisentrik koordinatlarla ifade edilmiş bir denklemi x : y : z is a<sup>2</sup>/x + b<sup>2</sup>/y + c<sup>2</sup>/z = 0 şeklindedir.
Çevrel çemberin izogonal işleniği sonsuzdaki doğrudur; trilineer koordinatlarla ax + by + cz = 0 ve barisentrik koordinatlarla x + y + z = 0 olarak gösterilebilir.
Bunun yanında, d boyuttaki bir üçgenin çevrel çemberi, genelleştirilmiş bir yöntemle bulunabilir. A, B ve C üçgenin köşelerini ifade eden d-boyutlu noktalar olsun. İşlemler C orijine taşınarak başlar:
$$\mathbf{a} = \mathbf{A}-\mathbf{C},$$
$$\mathbf{b} = \mathbf{B}-\mathbf{C}.$$ Çevrel çemberin yarıçapı, r,
$$r = \frac{\left|\mathbf{a}\right|\left|\mathbf{b}\right|\left|\mathbf{a}-\mathbf{b}\right|} {2 \left|\mathbf{a}\times\mathbf{b}\right|} = \frac{\left|\mathbf{a}-\mathbf{b}\right|}{2 \sin\theta} = \frac{\left|\mathbf{A}-\mathbf{B}\right|}{2 \sin\theta},$$ burada θ a ve b arasındaki iç açıdır. Çevrel çemberin merkezi, p<sub>0</sub>,
$$p_0 = \frac{(\left|\mathbf{a}\right|^2\mathbf{b}-\left|\mathbf{b}\right|^2\mathbf{a}) \times (\mathbf{a} \times \mathbf{b})} {2 \left|\mathbf{a}\times\mathbf{b}\right|^2} + \mathbf{C}.$$ şeklinde ifade edilebilir.
Çevrel çember merkezinin Kartezyen koordinatları
$$((A_y^2 + A_x^2)(B_y - C_y) + (B_y^2 + B_x^2)(C_y - A_y) + (C_y^2 + C_x^2)(A_y - B_y)) / D,$$
$$((A_y^2 + A_x^2)(C_x - B_x) + (B_y^2 + B_x^2)(A_x - C_x) + (C_y^2 + C_x^2)(B_x - A_x)) / D$$
ve
$D = 2( A_x(B_y - C_y) + B_x(C_y - A_y) + C_x(A_y - B_y)).,$
Denklemler, genelleştirilmiş durum kaybolmadan, A köşesi Kartezyen koordinat sisteminin orijinine taşınarak yazılabilir; yani $A' = A - A = (A'_x,A'_y) = (0,0)$ alınır. Bu durumda köşe koordinatları B' = B − A and C' = C − A A'{{'}}dan köşelere çizilmiş vektörleri gösteren. Bu üçgensel çeviri tüm üçgenler için geçerlidir ve A'B'C' üçgeninin çevrel çemberinin merkez koordinatları şöyledir:
$( C'_y(B^{'2}_x + B^{'2}_y) - B'_y(C^{'2}_x + C^{'2}_y) )/ D', ,$
<!-- -->$( B'_x(C^{'2}_x + C^{'2}_y) - C'_x(B^{'2}_x + B^{'2}_y) )/ D' ,$
burada
$D' = 2( B'_xC'_y - B'_yC'_x ). ,$
Çevrel çemberin merkezi barisentrik koordinatlarla
$\left( a^2(-a^2 + b^2 + c^2), ;b^2(a^2 - b^2 + c^2), ;c^2(a^2 + b^2 - c^2)\right), ,$4
ifade edilir. Burada a, b, c üçgenin kenar uzunluklarını (sırasıyla BC, CA, AB) göstermektedir.
Öklid uzayında alınan, doğrusal olmayan herhangi P<sub>1</sub>, P<sub>2</sub> ve P<sub>3</sub> noktasından geçen bir çember bulunur. Kartezyen koordinatlar kullanılarak bu noktalar vektör olarak yazılırsa, vektörel çarpım ve skaler çarpımla çevrel çember yarıçapı ile merkezi hesaplanabilir.
$$\mathrm{P_1} = \begin{bmatrix} x_1 \ y_1 \ z_1 \end{bmatrix}, \mathrm{P_2} = \begin{bmatrix} x_2 \ y_2 \ z_2 \end{bmatrix}, \mathrm{P_3} = \begin{bmatrix} x_3 \ y_3 \ z_3 \end{bmatrix}.$$
olsun. Bu noktalardan geçecek çemberin yarıçapı şöyle ifade edilir:
$$\mathrm{r} = \frac {\left|P_1-P_2\right| \left|P_2-P_3\right|\left|P_3-P_1\right|} {2 \left|\left(P_1-P_2\right) \times \left(P_2-P_3\right)\right|}.$$
Çemberin merkezi ise lineer kombinasyonla:
$$\mathrm{P_c} = \alpha , P_1 + \beta , P_2 + \gamma , P_3$$
şeklinde gösterilir. Burada
$$\alpha = \frac {\left|P_2-P_3\right|^2 \left(P_1-P_2\right) \cdot \left(P_1-P_3\right)} {2 \left|\left(P_1-P_2\right) \times \left(P_2-P_3\right)\right|^2}$$
$$\beta = \frac {\left|P_1-P_3\right|^2 \left(P_2-P_1\right) \cdot \left(P_2-P_3\right)} {2 \left|\left(P_1-P_2\right) \times \left(P_2-P_3\right)\right|^2}$$
$$\gamma = \frac {\left|P_1-P_2\right|^2 \left(P_3-P_1\right) \cdot \left(P_3-P_2\right)} {2 \left|\left(P_1-P_2\right) \times \left(P_2-P_3\right)\right|^2}.$$
Çevrel çemberin bulunduğu düzeleme dik bir birim vektör şöyle yazılabilir:
$$\hat{n} = \frac {\left( P_2 - P_1 \right) \times \left(P_3-P_1\right)} {\left| \left( P_2 - P_1 \right) \times \left(P_3-P_1\right) \right|}.$$
Böylece çevrel çember yarıçapı, r, merkezi, P<sub>c</sub>, çember üzerindeki bir nokta, P<sub>0</sub> ve çemberin bulunduğu yüzeye ait birim normal, $\hat{n}$, olmak üzere, P<sub>0</sub> noktasından başlayarak $\hat{n}${{'}}ye pozitif yönelen (sağ el yönünde) çemberin bir parametrik ifadesi:
$$\mathrm{R} \left( s \right) = \mathrm{P_c} + \cos \left( \frac{\mathrm{s}}{\mathrm{r}} \right) \left( P_0 - P_c \right) + \sin \left( \frac{\mathrm{s}}{\mathrm{r}} \right) \left[ \hat{n} \times \left( P_0 - P_c \right) \right].$$
Çevrel çemberin üçgenin kenarlarıyla yaptığı açılar, bu kenarların üçüncü kenarla oluşturduğu üçgen iç açılarına eşittir.
Çevrel çemberin yarıçapı, iç teğet çemberin yarıçapının iki katından küçük değildir. (Euler'in üçgen eşitsizliği)5
Çevrel çemberin merkezi ile iç teğet çemberin merkezi arasındaki uzaklık $\sqrt{R(R-2r)}$'dır; r iç teğet çember yarıçapını ve R çevrel çember yarıçapını simgelemektedir.6
a, b ve c kenarlarına sahip üçgenin çevrel çemberinin yarıçapının, iç teğet çemberinin yarıçapıyla çarpımı7 $\frac{abc}{2(a+b+c)}.$ şeklinde olacaktır.
Orijinal kaynak: çevrel çember. Creative Commons Atıf-BenzerPaylaşım Lisansı ile paylaşılmıştır.
Bu durum Kartezyen koordinat sisteminde alınacak r yarıçaplı ve merkez koordinatları a, b olan bir genel çember denklemi üzerinden ispatlanabilir:
$$\left(x - a \right)^2 + \left( y - b \right)^2=r^2.$$ Bu denklem üç değişkenli olduğundan (a, b, r) bir çemberin denklemini belirlemek için sadece üç nokta çifti gerekir. Üçgenlerin üç köşe üzerinden tanımlandığı düşünüldüğünde, her üçgen için bir çevrel çember belirlenebileceği görülür. ↩
Dörrie, Heinrich, 100 Great Problems of Elementary Mathematics, Dover, 1965. ↩
Nelson, Roger, "Euler's triangle inequality via proof without words," Mathematics Magazine 81(1), February 2008, 58-61. ↩
Johnson, Roger A., Advanced Euclidean Geometry, Dover, 2007 (orij. 1929), s. 189, #298(d). ↩
Ne Demek sitesindeki bilgiler kullanıcılar vasıtasıyla veya otomatik oluşturulmuştur. Buradaki bilgilerin doğru olduğu garanti edilmez. Düzeltilmesi gereken bilgi olduğunu düşünüyorsanız bizimle iletişime geçiniz. Her türlü görüş, destek ve önerileriniz için iletisim@nedemek.page